Formalizing Reasoning About Change : A Temporal
نویسندگان
چکیده
In this paper we describe a framework for reasoning about temporal explanation problems , which is based on our previous work on model-based diagnosis of dynamic systems. We use an explicit representation of qualitative temporal information which provides a simpler and more natural representation than the situation calculus. We argue that a framework for reasoning about action should be able to deal with concurrent and dura-tive actions and show how they can be represented in our system. Finally, we discuss some useful extensions such as various forms of persistency assumptions.
منابع مشابه
Formalizing Reasoning About Change: A Temporal Diagnosis Approach
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an explicit representation of qualitative temporal information which provides a simpler and more natural representation than the situation calculus. We show how to generate more specific explanations by instantiating exp...
متن کاملCommonsense Reasoning about Moving Objects: an Elusive Goal
Reasoning about how objects move and interact in space is pervasive in evcryday life. It is rightly considered an essential component of intelligence. Consequently, understanding spatial reasoning and developing computational models for it has been a central concern in many fields, including cognitive psychology, mathematics, robotics, vision, and artificial intelligence. Although much progress...
متن کاملFormalizing and Using Persistency
In many formalizations of a changing world things do not change all the t ime but are persistent thoughout a time interval. Often this persistency is represented by facts refering to intervals int which are still valid if int is replaced by any subinterval i n t ' Approaches l ike episode propagat ion or Penberthy's temporal unification try to employ this property for efficient reasoning. Howev...
متن کاملFormalizing Reasoning About Change : A Qualitative Reasoning Approach ( Preliminary Report )
The development of a formal logic for reasoning about change has proven to be surprisingly dif-cult. Furthermore, the logics that have been developed have found surprisingly little application in those elds, such as Qualitative Reasoning, that are concerned with building programs that emulate human common-sense reasoning about change. In this paper, we argue that a basic tenet of qualitative re...
متن کاملTemporal Theories of Reasoning
In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can be seen as a sequence of information states which describe what has been derived at each time point. A transition from an information state at a point in time to the state at the (or a) next time point is induced by on...
متن کامل